1. Categories, types, and structures
پدیدآورنده: Andrea Asperti, Giuseppe Longo.,Asperti, Andrea.
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991


2. Categories, types, and structures
پدیدآورنده: / Andrea Asperti, Giuseppe Longo
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991


3. Categories, types, and structures
پدیدآورنده: / Andrea Asperti, Giuseppe Longo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991


4. Categories, types, and structures : an introduction to category theory for the working computer scientist
پدیدآورنده: Andrea Asperti, Giuseppe Longo
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers(,، Categories )Mathematics(
رده :
QA
76
.
7
.
A76
1991

